logic representation

Terms from Artificial Intelligence: humans at the heart of algorithms

Page numbers are for draft copy at present; they will be replaced with correct numbers when final book is formatted. Chapter numbers are correct and will not change now.

Logic can be used as a form of knowledge representation. The facts in the domain have to expressed as atomic propositions such as author("Alan Dix", "Artificial Intelligence") and reasoning rules as logical formulae.

Used in Chap. 2: pages 14, 16

Also known as by logic, as knowledge representation